翻訳と辞書
Words near each other
・ prolog/mali
・ prom
・ prom monitor
・ promal
・ prometheus
・ promiscuous mode
・ pron
・ pronet
・ pronunciation
・ proof
proof theory
・ proof/l
・ propeller head
・ propeller key
・ proposal writing
・ proposition
・ proposition of a language useable for structured specifications
・ propositional calculus
・ propositional logic
・ proprietary


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

proof theory : FOLDOC
proof theory
The branch of logic describing procedures for combining logical statements to show, by a series of truth-preserving transformations, that one statement is a consequence of some other statement or group of statements.
(1994-10-31)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.